Towards Checking Laws' Consistency through Ontology Design: The Case of Brazilian Vehicles' Laws

نویسندگان

  • Frederico Luiz Gonçalves de Freitas
  • Zacharias Candeias
  • Heiner Stuckenschmidt
چکیده

Fred Freitas Zacharias Candeias Jr. Heiner Stuckenschmidt Towards Checking Laws’ Consistency through Ontology Design: The Case of Brazilian Vehicles’ Laws Journal of Theoretical and Applied Electronic Commerce Research ISSN 0718–1876 Electronic Version VOL 6 / ISSUE 1 / APRIL 2011 / 112-126 © 2011 Universidad de Talca Chile This paper is available online at www.jtaer.com DOI: 10.4067/S0718-18762011000100008

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Sweetening Regulated Open Multi-Agent Systems with Support for Agents to Reason about Laws

Inspired by the Tim Berners-Lee’s vision of a Semantic Web, this work aims to present an approach to regulate open Multi-Agent Systems (MAS) based on ontologies plus layers of logic and rules for data inference. In our approach, a top-down modeling of laws is designed for regulating an open MAS. We propose to regulate agents’ actions based on four levels of abstractions: Environment laws, organ...

متن کامل

Land Use and Transportation Laws’ efficiency with regard to Air Pollution in Tehran Metropolitan Area

Air pollution is the major concern and challenge of Tehran urban areas’ management. Various rules, regulation, and laws had been codifiesd on this matter. In present research, the enforcement of laws and regulation concerning air pollution in the field of land-use and transportation is being addressed. The purpose of this article is to suggest an applicable (applied) framework embracing a descr...

متن کامل

Consistency analysis of mesh-free methods for conservation laws

Based on general partitions of unity and standard numerical flux functions, a class of mesh-free methods for conservation laws is derived. A Lax-Wendroff type consistency analysis is carried out for the general case of moving partition functions. The analysis leads to a set of conditions which are checked for the finite volume particle method FVPM. As a by-product, classical finite volume schem...

متن کامل

An Intuitionisticaly based Description Logic

Classical Description Logic has been widely used as a basis for ontology creation and reasoning in many knowledge specific domains, including Legal AI. As in any other domain, consistency is an important issue for legal ontologies. However, due to its inherently normative feature, coherence (consistency) in legal ontologies is more subtle than in other domains. Consistency, or absence of logica...

متن کامل

Relationship of Knowledge and Attitude Towards Legal Abortion Laws with the Performance of Midwives in Qazvin, Iran

Background and Objectives: Abortion is one of the main causes of maternal mortality. The lack of knowledge of physicians and midwives about the abortion laws can lead to the deficiency of presenting accurate information to pregnant women, and consequently to increase unsafe abortions. The purpose of this study was to assess the relationship of knowledge and attitude towards legal abortion laws ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • JTAER

دوره 6  شماره 

صفحات  -

تاریخ انتشار 2011